#include <amtest.h>
#define READ_REGFILE(dst,rd_n) {__asm__ __volatile__("sw x"rd_n",%[dest]":[dest]"=m"(dst));}

static inline void putstr(const char *s) {
  for (; *s; s ++) _putc(*s);
}

void hello() {
  uint32_t hellov = 33;
  printf("hello x print %d\n",hellov);
  READ_REGFILE(hellov,"0");
  printf("hello x print %d\n",hellov);
  for (int i = 0; i < 10; i ++) {
    putstr("Hello, AM World @ " __ISA__ "\n");
  }
}
